<html>
<head><meta charset="utf-8"><title>projects · wg-secure-code · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/index.html">wg-secure-code</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/projects.html">projects</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="174478583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/projects/near/174478583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/projects.html#174478583">(Aug 29 2019 at 18:15)</a>:</h4>
<p>I've accidentally committed directly instead of making a PR: <a href="https://github.com/rust-secure-code/projects/commit/f2fc1fb9a7ec66cec16f9a00b3e7fbf29a7f8ec5" target="_blank" title="https://github.com/rust-secure-code/projects/commit/f2fc1fb9a7ec66cec16f9a00b3e7fbf29a7f8ec5">https://github.com/rust-secure-code/projects/commit/f2fc1fb9a7ec66cec16f9a00b3e7fbf29a7f8ec5</a><br>
Everyone OK with this?</p>



<a name="174478771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/projects/near/174478771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Shnatsel <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/projects.html#174478771">(Aug 29 2019 at 18:17)</a>:</h4>
<p>Maybe we should also split the list in "mature" and "experimental" or some such to accommodate stuff like <a href="https://github.com/viperproject/prusti-dev" target="_blank" title="https://github.com/viperproject/prusti-dev">https://github.com/viperproject/prusti-dev</a><br>
I wish it more visibility, but it's not helpful to put stuff that works and stuff that almost definitely doesn't on the same list</p>



<a name="174488215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/projects/near/174488215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tony Arcieri <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/projects.html#174488215">(Aug 29 2019 at 20:13)</a>:</h4>
<p>looks neat</p>



<a name="174555927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146229-wg-secure-code/topic/projects/near/174555927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> jakubadamw <a href="https://rust-lang.github.io/zulip_archive/stream/146229-wg-secure-code/topic/projects.html#174555927">(Aug 30 2019 at 15:40)</a>:</h4>
<p><span class="user-mention" data-user-id="127617">@Shnatsel</span>, oh, thanks! <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>